Grothendieck Homomorphisms in Algebraically Closed Valued Fields
نویسنده
چکیده
We give a presentation of the construction of motivic integration, that is, a homomorphism between Grothendieck semigroups that are associated with a first-order theory of algebraically closed valued fields, in the fundamental work of Hrushovski and Kazhdan [12]. We limit our attention to a simple major subclass of V -minimal theories of the form ACVF S , that is, the theory of algebraically closed valued fields of pure characteristic 0 expanded by a (VF,Γ)-generated substructure S in the language LRV. The main advantage of this subclass is the presence of syntax. It enables us to simplify the arguments with many new technical details while following the major steps of the Hrushovski-Kazhdan theory.
منابع مشابه
Grothendieck Homomorphisms in Algebraically Closed Valued Fields Iii : Fourier Transform
We continue the study of the Hrushovski-Kazhdan integration theory and consider exponential integrals. The Grothendieck ring is enlarged via a tautological additive character and hence can receive such integrals. We then define the Fourier transform in our integration theory and establish some fundamental properties of it. Thereafter a basic theory of distributions (without differential operato...
متن کاملThe Grothendieck Ring of Varieties and of the Theory of Algebraically Closed Fields
In each characteristic, there is a canonical homomorphism from the Grothendieck ring of varieties to the Grothendieck ring of sets definable in the theory of algebraically closed fields. We prove that this homomorphism is an isomorphism in characteristic zero. In positive characteristics, we exhibit specific elements in the kernel of the corresponding homomorphism of Grothendieck semi rings. Th...
متن کاملMotives and admissible representations of automorphism groups of fields
Some of basic properties of the groups of automorphisms of algebraically closed fields and of their smooth representations are studied. In characteristic zero, Grothendieck motives modulo numerical equivalence are identified with a full subcategory in the category of graded smooth representations of certain automorphism groups of algebraically closed fields.
متن کاملModel Theory of Valued fields
These notes focus mainly on the model theory of algebraically closed valued fields (loosely referred to as ACVF). This subject begins with work by A. Robinson in the 1950s (see the proof of model completeness of algebraically closed valued fields in [41]). Thus, it predates the major work of Ax-Kochen and Ershov around 1963; and, unlike the latter (and much subsequent work on quantifier elimina...
متن کاملModel Theory for Algebraic Geometry
We demonstrate how several problems of algebraic geometry, i.e. Ax-Grothendieck, Hilbert’s Nullstellensatz, NoetherOstrowski, and Hilbert’s 17th problem, have simple proofs when approached from using model theory. The proofs use two general transfer principles. The first is the Lefschetz principle, which allows sentences that are true in algebraically closed fields of infinitely many prime char...
متن کامل